On well analyses

Remarks on Herbrand Analyses

We show that for theories T + with function parameters, in general (1) T + ` A , A =⇒ / T + ` A (even if A does not contain function parameters and T + is an open theory), where A is the Herbrand normal form of A and A is a Herbrand realization of A . A similar result holds for first order theories T if the index functions (used in the definition of A from A) are allowed to occur in instances o...

Hume on well-being

Review on Flavianet analyses

We present a global analysis of leptonic and semileptonic kaon decay data, including all recent results published by the BNL-E865, KLOE, KTeV, ISTRA+ and NA48 experiments. This analysis , in conjunction with precise lattice calculations of the hadronic matrix elements now available, leads to a very accurate determination of V us , and allows us to perform several stringent tests of the Standard...

On citing well.

The appearance of new ideas and discoveries in the scientific literature is a reflection of ongoing scientific progress. Individual articles are nodes of scientific knowledge, but citations of published work link together the concepts, technologies and advances that define scientific disciplines. Though information technology and databases have helped us to better manage the expanding scientifi...

Well, well, well water.

Although the multiplication of bacteriophages (phages) has a substantial impact on the biosphere, comparatively little is known about how the external environment affects phage production. Here we report that sub-lethal concentrations of certain antibiotics can substantially stimulate the host bacterial cell’s production of some virulent phage. For example, a low dosage of cefotaxime, a cephalo...